大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Foundations of Computer Science (28th : 1987) 的图书(共7863本)

Advances in Intelligent Decision Technologies [electronic resource] : Proceedings of the Second KES International Symposium IDT 2010

0
索取号：
作者：Phillips-Wren、 Gloria.、Jain、 Lakhmi C.、Nakamatsu、 Kazumi.、Howlett、 Robert J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Privacy Enhancing Technologies [electronic resource] : 10th International Symposium, PETS 2010, Berlin, Germany, July 21-23, 2010. Proceedings

0
索取号：
作者：Atallah、 Mikhail J.、Hopper、 Nicholas J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Unifying Theories of Programming [electronic resource] : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

0
索取号：
作者：Butterfield、 Andrew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Algorithmic Number Theory [electronic resource] : 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings

0
索取号：
作者：Hanrot、 Guillaume.、Morain、 Fran莽ois.、Thom茅、 Emmanuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Towards Hardware-Intrinsic Security [electronic resource] : Foundations and Practice

0
索取号：
作者：Sadeghi、 Ahmad-Reza.、Naccache、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Exploring Services Science [electronic resource] : First International Conference , IESS 2010, Geneva, Switzerland, February 17-19, 2010. Revised Papers

0
索取号：
作者：Morin、 Jean-Henry.、Ralyt茅、 Jolita.、Snene、 Mehdi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

0
索取号：
作者：Touili、 Tayssir.、Cook、 Byron.、Jackson、 Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

New Results in Numerical and Experimental Fluid Mechanics VII [electronic resource] : Contributions to the 16th STAB/DGLR Symposium Aachen, Germany 2008

0
索取号：
作者：Dillmann、 Andreas.、Heller、 Gerd.、Klaas、 Michael.、Kreplin、 Hans-Peter.、Nitsche、 Wolfgang.、Schr枚der、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Deontic Logic in Computer Science [electronic resource] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

0
索取号：
作者：Governatori、 Guido.、Sartor、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Progress in Hybrid RANS-LES Modelling [electronic resource] : Papers Contributed to the 3rd Symposium on Hybrid RANS-LES Methods, Gdansk, Poland, June 2009

0
索取号：
作者：Peng、 Shia-Hui.、Doerffer、 Piotr.、Haase、 Werner.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Computer Mathematics [electronic resource] : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

0
索取号：
作者：Autexier、 Serge.、Calmet、 Jacques.、Delahaye、 David.、Ion、 Patrick D. F.、Rideau、 Laurence.、Rioboo、 Renaud.、Sexton、 Alan P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Soft Computing in XML Data Management [electronic resource] : Intelligent Systems from Decision Making to Data Mining, Web Intelligence and Computer Vision

0
索取号：
作者：Ma、 Zongmin.、Yan、 Li.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

L茅vy Matters I [electronic resource] : Recent Progress in Theory and Applications: Foundations, Trees and Numerical Issues in Finance

0
索取号：
作者：Duquesne、 Thomas.、Reichmann、 Oleg.、Sato、 Ken-iti.、Schwab、 Christoph.、Barndorff-Nielsen、 Ole E.、Bertoin、 Jean.、Jacod、 Jean.、Kl眉ppelberg、 Claudia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

High Performance Computing in Science and Engineering, Garching/Munich 2009 [electronic resource] : Transactions of the Fourth Joint HLRB and KONWIHR Review and Results Workshop, Dec. 8-9, 2009, Leibniz Supercomputing Centre, Garching/Munich, Germany

0
索取号：
作者：Wagner、 Siegfried.、Steinmetz、 Matthias.、Bode、 Arndt.、M眉ller、 Markus Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Networks [electronic resource] : 17th Conference, CN 2010, Ustro艅, Poland, June 15-19, 2010. Proceedings

0
索取号：
作者：Kwiecie艅、 Andrzej.、Gaj、 Piotr.、Stera、 Piotr.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Foundations of Mathematical and Computational Economics [electronic resource]

0
索取号：
作者：Dadkhah、 Kamran.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.